dart user input string to int